This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
WeiterlesenThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
WeiterlesenThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
WeiterlesenThis book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, ...
WeiterlesenThis book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed ...
WeiterlesenThis book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
WeiterlesenThe papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
WeiterlesenThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
WeiterlesenThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
WeiterlesenThis book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
WeiterlesenThis book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ...
WeiterlesenThis two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
WeiterlesenThis two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Weiterlesen